type t
(** {!A} *)
